An Interactive Debugger for the JavaScript Specification Arthur Charguéraud Inria Joint work with: Alan Schmitt (Inria) and Thomas Wood (Imperial College London) Building on prior work, joint with:

Source URL: ajacs.inria.fr

An Empirical Study of Top-N Recommendation for Venture Finance Thomas Stone, Weinan Zhang, Xiaoxue Zhao Department of Computer Science, University College London Gower Street, London, WC1E 6BT

Source URL: www0.cs.ucl.ac.uk

MAA Awards Presented in Baltimore The Mathematical Association of America (MAA) presented several awards at the Joint Mathematics Meetings in Baltimore in January 2003.

Source URL: www.ams.org

• Mathematical Association of America
• Mathematics education in the United States
• State University of New York at Potsdam
• Clarence F. Stephens
• Thomas Callister Hales
• Chauvenet Prize
• Paul Zeitz
• Deborah and Franklin Haimo Awards for Distinguished College or University Teaching of Mathematics
• Pitzer College
• Mathematics education

A Trusted Mechanised Specification of JavaScript: One Year On Philippa Gardner, Gareth Smith, Conrad Watt, and Thomas Wood Imperial College London {pg,gds,cw2312,tw1509}@ic.ac.uk http://jscert.org

Source URL: www.doc.ic.ac.uk

FOR IMMEDIATE RELEASE MEDIA CONTACT: Daphne Thomas, Public Relations & Marketing Directororcell) FedEx Corporation Announces $1 Million Gift to Support Information Technology at LeMoyne-O

Source URL: www.loc.edu

• LeMoyneOwen College
• American Missionary Association
• FedEx
• Memphis
• Tennessee
• United Negro College Fund
• Tennessee

When Abelian Groups Split Robert C. Rhoades Bucknell University Rachel L. Thomas Swarthmore College

Source URL: tilings.org

Alternating-time Temporal Logics with Irrevocable Strategies Agotnes Thomas ˚ Dept. of Computer Engineering Bergen University College,

Source URL: folk.uib.no

• Logic
• Mathematical logic
• Model theory
• Mathematics
• Formal languages
• Linear temporal logic
• Temporal logic
• Symbol
• Substitution
• Interpretation
• Structure
• Constructible universe

Modular Termination Verification for Non-blocking Concurrency Pedro da Rocha Pinto1 , Thomas Dinsdale-Young2 , Philippa Gardner1 , and Julian Sutherland1 1 Imperial College London

Source URL: psvg.doc.ic.ac.uk

Lost in Place? On the Virtues and Vices of Edward Casey’s Anti-Modernism Thomas Brockelman Le Moyne College 1. Introductory

Source URL: www.nhinet.org

Towards a Taxonomy of Errors in HTML and CSS Thomas H. Park, Ankur Saxena, Swathi Jagannath, Susan Wiedenbeck, Andrea Forte College of Information Science and Technology Drexel University 3141 Chestnut Street Philadelphi

Source URL: andreaforte.net

• HTML
• Web development
• Computing
• Software engineering
• Web design
• Cascading Style Sheets
• Markup languages
• Open formats
• HTML element
• Syntax
• Tableless web design
• Span and div